Computability and Complexity Foundations of Computing Michael Garey and Albert Meyer, editors Complexity Issues in VLSI: Optimal Layouts for the Shuffle-Exchange Graph and Other Networks, Frank Thomson Leighton, 1983

Source URL: www.diku.dk

Medieninformation Sächsisches Staatsministerium für Umwelt und Landwirtschaft Ihr Ansprechpartner Frank Meyer Durchwahl

Source URL: www.smul.sachsen.de

Uraufführung So viel Zeit Frank Goosen Bühnenfassung von Stefanie Carp Mit Torsten Bauer (Bulle), Henry Meyer (Rainer), Peter Waros (Thomas), Klaus Zwick (Konni), Jürgen Sarkiss (Ole), Susanne Burkhard (Ulla Gregorius

Source URL: www.theater-oberhausen.de

Quantification of the Mitigation of Greenhouse Gas Emissions in Transport through the Use of Electric Vehicles Matthias Pfriem, Frank Gauterin, Thomas Meyer Institute of Vehicle System Technology at the Karlsruhe Institu

Source URL: www.iip.kit.edu

• Sustainability
• Electric vehicle
• Greenhouse gas
• Plug-in hybrid
• Driving cycle
• Climate change mitigation
• Greenhouse gas emissions by the United States
• Transport
• Electric vehicle conversion
• Environment

Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer

Source URL: www.cs.uu.nl

• Logic in computer science
• Programming language semantics
• Model theory
• Structure
• Universal algebra
• Operational semantics
• 3APL
• Ω-consistent theory
• Algorithm characterizations
• Theoretical computer science
• Mathematical logic
• Mathematics

Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer

Source URL: www.cs.uu.nl

• Computer science
• Models of computation
• Programming language semantics
• Denotational semantics
• Operational semantics
• State transition system
• Programming language
• Semantics
• Meta-programs
• Theoretical computer science
• Logic in computer science
• Applied mathematics

A language for Modular Information-passing Agents Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer Universiteit Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, T

Source URL: www.cs.uu.nl

• Constraint programming
• Declarative programming
• Symbol

Russell Kirk and the Critics by Gerald J. Russello Gerald J. Russello Russell Kirk and the Critics

Source URL: www.mmisi.org

• Heritage Foundation
• Russell Kirk
• Politics of the United States
• Publishing
• Traditionalist conservatism
• Frank Meyer
• Intercollegiate Studies Institute
• Modern Age
• Right-wing politics
• Conservatism in the United States
• Conservatism
• Political philosophy

A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland

Source URL: www.cs.uu.nl

• Applied mathematics
• AgentSpeak
• Operational semantics
• Bisimulation
• Programming language
• Agent-based model
• State transition system
• 3APL
• Logic programming
• Multi-agent systems
• Computing
• Theoretical computer science

Freedom and Virtue – Chapter 1 Do-It-Yourself Conservatism?* M. MORTON AUERBACH (VS. M. STANTON EVANS, FRANK S. MEYER, AND RUSSELL KIRK) *This essay appears as it did in the January 30, 1962 issue of National Review.

Source URL: www.isi.org

• Politics
• Social philosophy
• Liberalism
• Social theories
• Conservatism
• Russell Kirk
• National Review
• Edmund Burke
• Frank Meyer
• Political ideologies
• Political philosophy
• Conservatism in the United States